Piroi, Florina : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (21)
Les plus populaires
Liste
- Liste
- Tableau

1

Deduction and Presentation in ρLog

Mircea Marin, Florina Piroi

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2004

Langue:

english

Fichier:

PDF, 289 KB

english, 2004

2

Theorema: Towards computer-aided mathematical theory exploration

Bruno Buchberger, Adrian Crǎciun, Tudor Jebelean, Laura Kovács, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger

Journal:

Journal of Applied Logic

Année:

2006

Langue:

english

Fichier:

PDF, 580 KB

english, 2006

3

[IEEE 2014 International Conference on Applied and Theoretical Electricity (ICATE) - Craiova, Romania (2014.10.23-2014.10.25)] 2014 International Conference on Applied and Theoretical Electricity (ICATE) - Experimental measurements of the rotor oscillations in an synchronous generator during the three-phased sudden short-circuit test

Piroi, Ion, Spunei, Elisabeta, Piroi, Florina

Année:

2014

Langue:

english

Fichier:

PDF, 419 KB

english, 2014

4

[IEEE 2014 International Conference on Applied and Theoretical Electricity (ICATE) - Craiova, Romania (2014.10.23-2014.10.25)] 2014 International Conference on Applied and Theoretical Electricity (ICATE) - ABS failure diagnosis charts for a blocked CL

Spunei, Elisabeta, Piroi, Ion, Muscai, Cristian, Piroi, Florina

Année:

2014

Langue:

english

Fichier:

PDF, 243 KB

english, 2014

5

[IEEE 2015 13th International Conference on Document Analysis and Recognition (ICDAR) - Tunis, Tunisia (2015.8.23-2015.8.26)] 2015 13th International Conference on Document Analysis and Recognition (ICDAR) - DASyR(IR) - document analysis system for systematic reviews (in Information Retrieval)

Piroi, Florina, Lipani, Aldo, Lupu, Mihai, Hanbury, Allan

Année:

2015

Langue:

english

Fichier:

PDF, 1006 KB

english, 2015

6

[IEEE 2014 International Conference and Exposition on Electrical and Power Engineering (EPE) - Iasi, Romania (2014.10.16-2014.10.18)] 2014 International Conference and Exposition on Electrical and Power Engineering (EPE) - Software module for switch electromechanics failure detection

Spunei, Elisabeta, Piroi, Ion, Muscai, Cristian, Piroi, Florina

Année:

2014

Langue:

english

Fichier:

PDF, 603 KB

english, 2014

7

[IEEE 2014 International Conference on Applied and Theoretical Electricity (ICATE) - Craiova, Romania (2014.10.23-2014.10.25)] 2014 International Conference on Applied and Theoretical Electricity (ICATE) - Automatic block signaling installation failure diagnosis with LCOBla

Spunei, Elisabeta, Piroi, Ion, Muscai, Cristian, Piroi, Florina

Année:

2014

Langue:

english

Fichier:

PDF, 767 KB

english, 2014

8

[IEEE 2014 International Conference on Applied and Theoretical Electricity (ICATE) - Craiova, Romania (2014.10.23-2014.10.25)] 2014 International Conference on Applied and Theoretical Electricity (ICATE) - Diagnosis charts for regular inversion failures of an Automatic Block Signal Installation

Piroi, Ion, Spunei, Elisabeta, Muscai, Cristian, Piroi, Florina

Année:

2014

Langue:

english

Fichier:

PDF, 357 KB

english, 2014

9

[IEEE 2016 International Conference on Applied and Theoretical Electricity (ICATE) - Craiova, Romania (2016.10.6-2016.10.8)] 2016 International Conference on Applied and Theoretical Electricity (ICATE) - Computerized diagnostic of the red and white entry lighting signal indications

Spunei, Elisabeta, Piroi, Ion, Chioncel, Cristian, Piroi, Florina

Année:

2016

Langue:

english

Fichier:

PDF, 588 KB

english, 2016

10

[IEEE 2016 International Conference and Exposition on Electrical and Power Engineering (EPE) - Iasi, Romania (2016.10.20-2016.10.22)] 2016 International Conference and Exposition on Electrical and Power Engineering (EPE) - Statistical analysis of LED light flux variations

Piroi, Ion, Spunei, Elisabeta, Chioncel, Cristian, Piroi, Florina

Année:

2016

Langue:

english

Fichier:

PDF, 817 KB

english, 2016

11

[IEEE 2016 International Conference on Applied and Theoretical Electricity (ICATE) - Craiova, Romania (2016.10.6-2016.10.8)] 2016 International Conference on Applied and Theoretical Electricity (ICATE) - The diagnosis of the entry lighting signal when the free command cannot be set

Spunei, Elisabeta, Piroi, Ion, Muscai, Cristian, Piroi, Florina

Année:

2016

Langue:

english

Fichier:

PDF, 376 KB

english, 2016

12

[IEEE 2017 5th International Symposium on Electrical and Electronics Engineering (ISEEE) - Galati (2017.10.20-2017.10.22)] 2017 5th International Symposium on Electrical and Electronics Engineering (ISEEE) - The square root method for terminal voltage adjustment in a self-excited synchronous generator

Elisabeta, Spunei, Ion, Piroi, Dorian, Anghel, Florina, Piroi

Année:

2017

Langue:

english

Fichier:

PDF, 242 KB

english, 2017

13

[IEEE 2017 International Conference on Electromechanical and Power Systems (SIELMEN) - Iasi (2017.10.11-2017.10.13)] 2017 International Conference on Electromechanical and Power Systems (SIELMEN) - Computer assisted diagnosis of automatic signalling installations with blinking red lights

Elisabeta, Spunei, Ion, Piroi, Cristian, Muscai, Florina, Piroi

Année:

2017

Langue:

english

Fichier:

PDF, 386 KB

english, 2017

14

[IEEE 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Limassol (2017.9.12-2017.9.15)] 2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) - Message ranking in a factory setting using context and user preference

Taha, Abdel Aziz, Piroi, Florina, Hanbury, Allan, Tropper, Thomas, Mutzl, Thomas, Shehata, Haroun

Année:

2017

Langue:

english

Fichier:

PDF, 198 KB

english, 2017

15

[IEEE 2017 5th International Symposium on Electrical and Electronics Engineering (ISEEE) - Galati (2017.10.20-2017.10.22)] 2017 5th International Symposium on Electrical and Electronics Engineering (ISEEE) - Computer-based diagnosis for electric power supply in train traffic installations

Spunei, Elisabeta, Piroi, Ion, Piroi, Florina

Année:

2017

Langue:

english

Fichier:

PDF, 529 KB

english, 2017

16

[IEEE 2018 International Conference on Applied and Theoretical Electricity (ICATE) - Craiova, Romania (2018.10.4-2018.10.6)] 2018 International Conference on Applied and Theoretical Electricity (ICATE) - Computer Assisted Diagnosis of CED-CR2 Installations: Part II

Spunei, Elisabeta, Piroi, Ion, Muscai, Cristian, Institute, Florina Piroi, Chioncel, Cristian Paul, Bogdan, Protea

Année:

2018

Langue:

english

Fichier:

PDF, 254 KB

english, 2018

17

[IEEE 2018 International Conference on Applied and Theoretical Electricity (ICATE) - Craiova (2018.10.4-2018.10.6)] 2018 International Conference on Applied and Theoretical Electricity (ICATE) - LED and Incandescence Lamps in Railroad Repetitive Light Signals: A Comparative Performance Analysis

Spunei, Elisabeta, Piroi, Ion, Piroi, Florina

Année:

2018

Langue:

english

Fichier:

PDF, 142 KB

english, 2018

18

[IEEE 2018 International Conference on Applied and Theoretical Electricity (ICATE) - Craiova (2018.10.4-2018.10.6)] 2018 International Conference on Applied and Theoretical Electricity (ICATE) - LED and Incandescence Lamps in Railroad Repetitive Light Signals: A Comparative Performance Analysis

Spunei, Elisabeta, Piroi, Ion, Piroi, Florina

Année:

2018

Fichier:

PDF, 142 KB

2018

19

[IEEE 2019 11th International Symposium on Advanced Topics in Electrical Engineering (ATEE) - Bucharest, Romania (2019.3.28-2019.3.30)] 2019 11th International Symposium on Advanced Topics in Electrical Engineering (ATEE) - Use of Renewable Energy Sources to Power Railroad Traffic Safety Installations

Elisabeta, Spunei, Bogdan, Protea, Ion, Piroi, Valentin, Navrapescu, Florina, Piroi

Année:

2019

Langue:

english

Fichier:

PDF, 340 KB

english, 2019

20

[IEEE 2018 International Conference on Applied and Theoretical Electricity (ICATE) - Craiova (2018.10.4-2018.10.6)] 2018 International Conference on Applied and Theoretical Electricity (ICATE) - Computer Assisted Equipment Selection for Components of Electric Panels

Protea, Bogdan Liviu, Muscai, Cristian, Navrapescu, Valentin, Spunei, Elisabeta, Piroi, Ion, Piroi, Florina

Année:

2018

Langue:

english

Fichier:

PDF, 186 KB

english, 2018

21

[IEEE 2019 International Conference on Electromechanical and Energy Systems (SIELMEN) - Craiova, Romania (2019.10.9-2019.10.11)] 2019 International Conference on Electromechanical and Energy Systems (SIELMEN) - Finding the Minimal Fitting Distance of a Lightning Rod Down-Conductor

Spunei, Elisabeta, Piroi, Ion, Piroi, Florina

Année:

2019

Fichier:

PDF, 97 KB

2019